1. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Biomedical digital signal processing: C-language examples and laboratory experiments for the IBM P C
پدیدآورنده : Willis J. Tompkins
موضوع : Signal processing -- Digital techniques,Computers i medicine,Digital filters (mathematics),C (Computer program language),Biomedical engineering,Signal processing, Computer assisted,Programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. CNC Programming for Machining
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering; Programming Techniques
![](/design/images/bookmore.png)
4. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Fundamentals of Software Engineering.
پدیدآورنده : \ Mehdi Dastani , Marjan Sirjani (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Software engineering -- Congresses.,Programming Techniques.,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
758
.
F8
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Python for signal processing :featuring IPython notebooks
پدیدآورنده : Unpingco, Jose,Jose Unpingco
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Digital techniques ، Signal processing,Digital techniques Data processing ، Signal processing,، Python )Computer program language(,، Engineering,، Signal, Image and Speech Processing,، Software Engineering/Programming and Operating Systems,، Communications Engineering, Networks
رده :
TK5102
.
9
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)